compare-and-swap (CAS)